A Scalable Linear Constraint Solver for User Interface Construction
نویسنده
چکیده
This paper proposes an algorithm for satisfying systems of linear equality and inequality constraints with hierarchical strengths or preferences. Basically, it is a numerical method that incrementally obtains the LU decompositions of linear constraint systems. To realize this, it introduces a novel technique for analyzing hierarchical systems of linear constraints. In addition, it improves performance by adopting techniques that utilize the sparsity and disjointness of constraint systems. Based on this algorithm, the HiRise constraint solver has been designed and implemented for the use of constructing interactive graphical user interfaces. This paper shows that HiRise is scalable up to thousands of simultaneous constraints in real-time execution.
منابع مشابه
Simulation of Strap-On Boosters Separation in the Atmosphere
A numerical dynamic-aerodynamic interface for simulating the separation dynamics of constrained strap-on boosters jettisoned in the atmosphere is presented. A 6-DOF multi body dynamic solver ،using Constraint Force Equation Methodology is coupled with a numerical time dependent Euler flow solver. An automatic dynamic mesh updating procedure is employed using smoothing and l...
متن کاملThe DeltaUp Constraint Solver : Correctness Proof
The DeltaBlue algorithm is known as a fast incremental constraint solver based on local propagation and is widely used for constructing graphical user interface and algorithm animation. The primary tasks of the planning phase of DeltaBlue are method selections. In this paper, we prove that DeltaUp, which is a modi cation of DeltaBlue, minimizes the number of method selections in every planning ...
متن کاملUser Interface Applications of a Multi-way Constraint Solver
Constraints are widely recognized as a useful tool for user interface constructino. Through constraints, relationships among user interface components can be defined declaratively, leaving the task of relationship management to a constraint solver. Multi-way constraint solvers supporting constraint hierarchies provide a means to specify preferential constraint relationships with a dynamically c...
متن کاملConstraint Solvers for User Interface Layout
Constraints have played an important role in the construction of GUIs, where they are mainly used to define the layout of the widgets. Resizing behavior is very important in GUIs because areas have domain specific parameters such as form the resizing of windows. If linear objective function is used and window is resized then error is not distributed equally. To distribute the error equally, a q...
متن کاملThe OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces
ENVY/Constraints is an IBM/Smalltalk library that provides a constraint satisser and a collection of useful constraints, targeted at developing interactive graphical user interfaces. The solver supports multi-way constraints and constraint hierarchies. It uses a hybrid algorithm, combining local propagation with pluggable cycle solvers, allowing constraints to range over arbitrary objects, whil...
متن کامل